Hybrid rules with well-founded semantics
نویسندگان
چکیده
منابع مشابه
Well-Founded Semantics, Generalized
Classical fixpoint semantics for logic programs is based on the TP immediate consequence operator. The Kripke/Kleene, three-valued, semantics uses ΦP , which extends TP to Kleene’s strong three-valued logic. Both these approaches generalize to cover logic programming systems based on a wide class of logics, provided only that the underlying structure be that of a bilattice. This was presented i...
متن کاملPossibilistic Well-Founded Semantics
Recently, a good set of logic programming semantics has been defined for capturing possibilistic logic program. Practically all of them follow a credulous reasoning approach. This means that given a possibilistic logic program one can infer a set of possibilistic models. However, sometimes it is desirable to associate just one possibilistic model to a given possibilistic logic program. One of t...
متن کاملWell-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies
Description Logic (DL) based ontologies and nonmonotonic rules provide complementary features whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which combine both formalisms, for large real-world applications, often integrating knowledge originating from different sources, inconsistencies can easily occur. These commonly trivialize standard reasoning and preven...
متن کاملIterated Fixpoint Well-Founded Semantics for Hybrid Knowledge Bases
MKNF-based Hybrid Knowledge Bases (HKBs) integrate Logic Programming (LP) and Description Logics (DLs) offering the combined expressiveness of the two formalisms. In particular, HKB allow to make different closure assumptions for different predicates. HKBs have been given a well-founded semantics in terms of an alternate fixpoint. In this paper we provide an alternative definition of the semant...
متن کاملNonmonotonic Reasoning with Well Founded Semantics
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the Well Founded model may be accepted to be a definite view of the world and the extended stable models as alternative enlarged consistent belief models an agent may have about the world. Our purpose is to exhibit a modula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Knowledge and Information Systems
سال: 2010
ISSN: 0219-1377,0219-3116
DOI: 10.1007/s10115-010-0300-5